Message - Generated Kripke Semantics — Draft , do not quote or circulate please
نویسندگان
چکیده
We show how to generate multi-agent Kripke models from message exchanges, and conversely, how to interpret message exchanges with respect to initial multi-agent Kripke models. Any multimodal S5 Kripke model is a suitable initial model for updating by means of message exchange.
منابع مشابه
Alternative Gmm Methods for Nonlinear Panel Data Models: Asymptotic Eeciency versus Small Sample Performance
Preliminary draft, comments welcome (Please do not quote or circulate without permission of the authors)
متن کاملAre Foreign Firms Privileged By Their Host Governments? Evidence From The 2000 World Business Environment Survey
This version: March 3, 2004 This draft is very preliminary and incomplete. Please do not quote or circulate. Comments are welcome. Abstract Using the data from World Business Environment Survey (WBES) on over 10,000 firms across eighty one countries, this paper finds significant regulatory advantages—as perceived by the firms themselves—enjoyed by foreign firms over domestic firms. The findings...
متن کاملAggregation and Convexity in the Provision of Dynamic Incentives
In this paper I identify an alternative preference structure that preserves most of the cherished simplicity of the formulation of the Principal-Agent problem pioneered by Holmström and Milgrom (1987). The main advantage of my approach is in relation to the structure of the optimal contract: it adds a convex component to their optimal linear contract. This provides new opportunities to revisit ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010